Génération de règles de coordination à partir de réseaux de Pétri colorés

National audienceCet article présente un environnement de génération de règles de coordination à partir de réseaux de Petri colorés. L’environnement proposé est basé sur un langage dédié appelé cpnDSL. À partir d’une spécification cpnDSL décrivant un système donné, des règles de coordination correctes par construction et directement exécutables dans l’environement LINC sont générées. Un modèle vérifiable pour valider le comportement du système et un modèle graphique pour permettre la discussion entre les différents membres du projet sont également générés. Une étude de cas issue du domaine du transport est présentée pour illustrer l’approche proposée